Formal Methods in System Design manuscript No. (will be inserted by the editor) An Extension of the Inverse Method to Probabilistic Timed Automata ´

Source URL: www.lsv.ens-cachan.fr

Zollman Formal Methods (TH noon): Homework 1 Problem 1

Source URL: www.andrew.cmu.edu

A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

Call for Contributions Software Quality Journal Special Issue on: "Software Quality in Software-Intensive Systems" Guest Editors:

Source URL: paginas.fe.up.pt

• Software engineering
• Computing
• Software quality
• Quality
• Software testing
• Formal methods
• Pharmaceutical industry
• Validity
• Software verification and validation
• Verification and validation
• Software development
• Quality assurance

Consensus in Co-operatives The Rhizome co-operative argue that consensus decision-making can deepen both the ethos and practice of co-operation within your co-op. Co-operatives by their very nature assume a deeper level

Source URL: rhizomenetwork.files.wordpress.com

• Decision theory
• Group processes
• Democracy
• Evaluation methods
• Consensus decision-making
• Management
• Formal consensus
• The Co-operative Group
• Collective intelligence
• Cooperative
• Consensus-seeking decision-making
• Oberlin Student Cooperative Association

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

Compositional CompCert Andrew W. Appel tifact * Complete

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Software
• Logic in computer science
• Formal methods
• Compiler construction
• Cross-platform software
• Object-oriented programming languages
• Stack
• Semantics
• Optimizing compiler
• Operational semantics

Hindawi Publishing Corporation Computational and Mathematical Methods in Medicine Volume 2012, Article ID, 15 pages doi:Research Article

Source URL: haxbylab.dartmouth.edu

• Statistics
• Algebra
• Mathematics
• Multivariate statistics
• Regression analysis
• Formal sciences
• Psychometrics
• Computational statistics
• Linear discriminant analysis
• Principal component analysis
• Factor analysis
• Pattern recognition

To appear in FM 2015 | 20th International Symposium on Formal Methods Semantics-Preserving Simplification of Real-World Firewall Rule Sets Cornelius Diekmann, Lars Hupel, and Georg Carle

Source URL: www.net.in.tum.de

2014 SEFM Software Engineering and Formal Methods

Source URL: sefm2014.inria.fr